Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Quizás quisiste decir: theory provins
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente…15 kB (1771 palabras) - 01:23 18 abr 2024
NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La complejidad de los procedimientos de demostración…3 kB (312 palabras) - 19:12 26 dic 2023- Foundations of Automatic Theorem Proving. Harper & Row Publishers. Fitting, Melvin (1996). First-Order Logic and Automated Theorem Proving (2 edición). Springer…6 kB (761 palabras) - 21:48 15 nov 2023
- Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures". El teorema fue demostrado independientemente por Leonid…8 kB (789 palabras) - 06:13 30 mar 2024
- Logemann, George, and Loveland, Donald (1962). «A Machine Program for Theorem Proving». Communications of the ACM 5 (7): 394-397. doi:10.1145/368273.368557…6 kB (822 palabras) - 15:13 27 ene 2024
- Martin; Logemann; Loveland, Donald (1962). «A Machine Program for Theorem Proving». Communications of the ACM 5 (7): 394-397. R. Dechter and I. Rish…2 kB (233 palabras) - 15:43 18 sep 2019
- Matthew (1996), «On Sets, Types, Fixed Points, and Checkerboards», Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop…6 kB (673 palabras) - 00:18 27 mar 2024
ISOTOPY OF POLYTOPES IN A EUCLIDEAN SPACE Wen-tsun, Wu, Mechanical Theorem Proving in Geometries. ISBN 3211825061ISBN 3211825061 Wen-Tsun, Wu; Georges…7 kB (816 palabras) - 22:56 1 feb 2024
Shang-Ching (1988), «An introduction to Wu's method for mechanical theorem proving in geometry», Journal of Automated Reasoning 4 (3): 237-267, MR 975146…5 kB (711 palabras) - 06:36 29 jul 2022- York: Plenum. pp. 85-103. Stephen Cook (1971). «The Complexity of Theorem Proving Procedures». Proceedings of the third annual ACM symposium on Theory…5 kB (578 palabras) - 00:16 21 may 2022
- introducido por Stephen Cook en un artículo titulado 《The complexity of theorem-proving procedures》 en las páginas 151-158 de Proceedings of the 3rd Annual…13 kB (1953 palabras) - 13:39 29 ene 2024
- problemas, puede ser codificado en SAT Cook, Stephen A. «The Complexity of Theorem-Proving Procedures» (en inglés). Consultado el 8 de agosto de 2012. «Unsatisfiable»…9 kB (1362 palabras) - 19:00 24 ene 2022
- Oxford, 1990. Logic for Computer Science: Foundations of Automatic Theorem Proving, J.H. Gallier, John Wiley and Sons, 1987. Logic programming as classical…9 kB (1155 palabras) - 12:04 25 abr 2024
- Rusinowitch, Michaël (1992). «The term rewriting approach to automated theorem proving». The Journal of Logic Programming 14 (1–2): 71-99. doi:10.1016/0743-1066(92)90047-7…8 kB (1189 palabras) - 16:31 10 nov 2023
Nilsson, Nils (1971), «STRIPS: A new approach to the application of theorem proving to problem solving», Artificial Intelligence 2: 189-208, doi:10…8 kB (799 palabras) - 18:16 4 ene 2024
(Amherst, NY: Prometheus Books 2011) ISBN 978-1-61614-413-5. Proving History: Bayes's Theorem and the Quest for the Historical Jesus (Amherst, NY: Prometheus…12 kB (1397 palabras) - 03:20 24 ene 2024
paralela del latín al inglés) Chris Caldwell (1994). «Finding primes & proving primality». Consultado el 3 de mayo de 2008. Mathworld.Wolfram.com (2008)…20 kB (2515 palabras) - 21:02 15 mar 2024- 1969. doi 10.1145/800169. Cook, Stephen (1971), «The complexity of theorem proving procedures», Proc. STOC 1971, pp. 151-158, doi:10.1145/800157.805047 …12 kB (1216 palabras) - 08:26 23 dic 2023
- Caldwell, "Primality Proving 3.1: n-1 tests and the Pepin's tests for Fermats" at the Prime Pages. Chris Caldwell, "Primality Proving 3.2: n+1 tests and…15 kB (1894 palabras) - 21:46 6 feb 2023
10, 2010: 55–77. Allaire, Patricia R.; Zhou, Junmin; and Yao, Haishen, "Proving a nineteenth century ellipse identity", Mathematical Gazette 96, March…10 kB (1298 palabras) - 20:13 10 oct 2019
